$\forall$${\it as}$, ${\it bs}$:Top List. $\parallel$${\it as}$ @ ${\it bs}$$\parallel$ $\sim$ ($\parallel$${\it as}$$\parallel$+$\parallel$${\it bs}$$\parallel$)